Colin Runciman: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Expressible sharing for functional circuit description

Matthew Naylor, Colin Runciman

Journal:

Higher-Order and Symbolic Computation

Year:

2009

Language:

english

File:

PDF, 356 KB

english, 2009

2

The accepting power of unary string logic programs

Tatsuru Matsushita, Colin Runciman

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 175 KB

english, 2001

3

A Space Semantics for Core Haskell

Bakewell Adam, Runciman Colin

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 29 KB

english, 2001

4

Relative specification and transformational re-use of functional programs

Colin Runciman, Nigel Jagger

Journal:

Higher-Order and Symbolic Computation

Year:

1990

Language:

english

File:

PDF, 920 KB

english, 1990

5

Modula and a vision laboratory

Journal:

International Journal of Man-Machine Studies

Year:

1981

Language:

english

File:

PDF, 828 KB

english, 1981

6

What about the natural numbers?

Journal:

Computer Languages

Year:

1989

Language:

english

File:

PDF, 774 KB

english, 1989

7

Lag, drag, void and use---heap profiling and space-efficient compilation revisited

Röjemo, Niklas, Runciman, Colin

Journal:

ACM SIGPLAN Notices

Year:

1996

Language:

english

File:

PDF, 915 KB

english, 1996

8

Inductive benchmarking for purely functional data structures

MOSS, GRAEME E., RUNCIMAN, COLIN

Journal:

Journal of Functional Programming

Year:

2001

Language:

english

File:

PDF, 358 KB

english, 2001

9

Uptake and elution of chlormethiazole, meperidine, and minaxolone in the hindquarters of sheep: Implications for clearance calculations

Richard N. Upton, Laurence E. Mather, William B. Runciman, Colin F. McLean, Ronda J. Carapetis

Journal:

Journal of Pharmaceutical Sciences

Year:

1991

Language:

english

File:

PDF, 547 KB

english, 1991

10

Equal opportunity interactive systems

Colin Runciman, Harold Thimbleby

Journal:

International Journal of Man-Machine Studies

Year:

1986

Language:

english

File:

PDF, 812 KB

english, 1986

11

FAILURE OF THE KETY-SCHMIDT NITROUS OXIDE METHOD FOR DETERMINATION OF MYOCARDIAL BLOOD FLOW

Michael A. Reid, Laurence E. Mather, William B. Runciman, Colin F. McLean

Journal:

Clinical and Experimental Pharmacology and Physiology

Year:

1991

Language:

english

File:

PDF, 878 KB

english, 1991

12

FAILURE OF THE NITROUS OXIDE TISSUE EQUILIBRATION METHOD FOR THE DETERMINATION OF BRAIN AND MYOCARDIAL BLOOD FLOW UNDER CONTROLLED CONDITIONS

Michael A. Reid, William B. Runciman, Colin F. McLean, Laurence E. Mather

Journal:

Clinical and Experimental Pharmacology and Physiology

Year:

1992

Language:

english

File:

PDF, 358 KB

english, 1992

13

Extending a functional programming system for embedded applications

Malcolm Wallace, Colin Runciman

Journal:

Software: Practice and Experience

Year:

1995

Language:

english

File:

PDF, 1.44 MB

english, 1995

14

The uptake and elution of lignocaine and procainamide in the hindquarters of the sheep described using mass balance principles

Richard N. Upton, William B. Runciman, Laurence E. Mather, Colin F. McLean, A. H. Ilsley

Journal:

Journal of Pharmacokinetics and Pharmacodynamics

Year:

1988

Language:

english

File:

PDF, 591 KB

english, 1988

15

Adapting combinator and SECD machines to display snapshots of functional computations

Ian Toyn, Colin Runciman

Journal:

New Generation Computing

Year:

1986

Language:

english

File:

PDF, 1.11 MB

english, 1986

16

Some software tools used in the development of the prototype york ada compiler

Runciman, Colin

Journal:

Software Engineering Journal

Year:

1987

Language:

english

File:

PDF, 710 KB

english, 1987

17

Time for a fresh look at drug policy governance

Ruth Runciman, Colin Blakemore, Tracey Brown

Journal:

Year:

2010

Language:

english

File:

PDF, 89 KB

english, 2010

18

[IEEE Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007) - Paris, France (2007.09.30-2007.10.1)] Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007) - Finding Inputs that Reach a Target Expression

Naylor, Matthew, Runciman, Colin

Year:

2007

Language:

english

File:

PDF, 257 KB

english, 2007

19

The Reduceron reconfigured and re-evaluated

NAYLOR, MATTHEW, RUNCIMAN, COLIN

Journal:

Journal of Functional Programming

Year:

2012

Language:

english

File:

PDF, 322 KB

english, 2012

20

[ACM Press Proceeding of the 13th ACM SIGPLAN international conference - Victoria, BC, Canada (2008.09.20-2008.09.28)] Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08 - Experience report

Duke, David J., Borgo, Rita, Runciman, Colin, Wallace, Malcolm

Year:

2008

Language:

english

File:

PDF, 251 KB

english, 2008

21

[ACM Press the ACM SIGPLAN workshop - Freiburg, Germany (2007.09.30-2007.09.30)] Proceedings of the ACM SIGPLAN workshop on Haskell workshop - Haskell '07 - A functional-logic library for wired

Naylor, Matthew, Axelsson, Emil, Runciman, Colin

Year:

2007

Language:

english

File:

PDF, 208 KB

english, 2007

22

[ACM Press the first ACM SIGPLAN international conference - Philadelphia, Pennsylvania, United States (1996.05.24-1996.05.26)] Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 - Lag, drag, void and use---heap profiling and space-efficient compilation revisited

Röjemo, Niklas, Runciman, Colin

Year:

1996

Language:

english

File:

PDF, 915 KB

english, 1996

23

[ACM Press the 2nd ACM SIGPLAN international conference - Montreal, Quebec, Canada (2000.09.20-2000.09.23)] Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00 - A model for comparing the space usage of lazy evaluators

Bakewell, Adam, Runciman, Colin

Year:

2000

Language:

english

File:

PDF, 371 KB

english, 2000

24

[ACM Press the first ACM SIGPLAN symposium - Victoria, BC, Canada (2008.09.25-2008.09.25)] Proceedings of the first ACM SIGPLAN symposium on Haskell - Haskell '08 - Smallcheck and lazy smallcheck

Runciman, Colin, Naylor, Matthew, Lindblad, Fredrik

Year:

2008

Language:

english

File:

PDF, 309 KB

english, 2008

25

[ACM Press the 15th ACM SIGPLAN international conference - Baltimore, Maryland, USA (2010.09.27-2010.09.29)] Proceedings of the 15th ACM SIGPLAN international conference on Functional programming - ICFP '10 - The reduceron reconfigured

Naylor, Matthew, Runciman, Colin

Year:

2010

Language:

english

File:

PDF, 459 KB

english, 2010

26

Formalised development of software by machine assisted transformation

Runciman, Colin, Firth, Mike

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1990

Language:

english

File:

PDF, 339 KB

english, 1990

27

[ACM Press the first ACM SIGPLAN symposium - Victoria, BC, Canada (2008.09.25-2008.09.25)] Proceedings of the first ACM SIGPLAN symposium on Haskell - Haskell '08 - Not all patterns, but enough

Mitchell, Neil, Runciman, Colin

Year:

2008

Language:

english

File:

PDF, 264 KB

english, 2008

28

[ACM Press the seventh international conference - La Jolla, California, United States (1995.06.26-1995.06.28)] Proceedings of the seventh international conference on Functional programming languages and computer architecture - FPCA '95 - Lambdas in the liftshaft---functional programming and an embedded architecture

Wallace, Malcolm, Runciman, Colin

Year:

1995

Language:

english

File:

PDF, 791 KB

english, 1995

29

[ACM Press the conference - Copenhagen, Denmark (1993.06.09-1993.06.11)] Proceedings of the conference on Functional programming languages and computer architecture - FPCA '93 - Widening the representation bottleneck

Cattrall, Dave, Runciman, Colin

Year:

1993

Language:

english

File:

PDF, 1000 KB

english, 1993

30

[ACM Press the 8th ACM SIGPLAN Symposium - Vancouver, BC, Canada (2015.09.03-2015.09.04)] Proceedings of the 8th ACM SIGPLAN Symposium on Haskell - Haskell 2015 - Improving implicit parallelism

Trilla, José Manuel Calderón, Runciman, Colin

Year:

2015

Language:

english

File:

PDF, 467 KB

english, 2015

31

Expert system guides CAD for automatic assembly

Runciman, Colin, Swift, Ken

Journal:

Assembly Automation

Year:

1985

Language:

english

File:

PDF, 465 KB

english, 1985

32

An incremental, exploratory and transformational environment for lazy functional programming

Runciman, Colin, Toyn, Ian, Firth, Mike

Journal:

Journal of Functional Programming

Year:

1993

Language:

english

File:

PDF, 1.32 MB

english, 1993

33

FUNCTIONAL PEARL

RUNCIMAN, COLIN

Journal:

Journal of Functional Programming

Year:

1997

Language:

english

File:

PDF, 122 KB

english, 1997

34

New dimensions in heap profiling

Runciman, Colin, Röjemo, Niklas

Journal:

Journal of Functional Programming

Year:

1996

Language:

english

File:

PDF, 1.97 MB

english, 1996

35

Heap profiling of lazy functional programs

Runciman, Colin, Wakeling, David

Journal:

Journal of Functional Programming

Year:

1993

Language:

english

File:

PDF, 1.70 MB

english, 1993

36

[IEEE Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007) - Paris, France (2007.09.30-2007.10.1)] Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007) - Finding Inputs that Reach a Target Expression

Naylor, Matthew, Runciman, Colin

Year:

2007

Language:

english

File:

PDF, 257 KB

english, 2007

37

Experience report

Duke, David J., Borgo, Rita, Runciman, Colin, Wallace, Malcolm

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 251 KB

english, 2008

38

The reduceron reconfigured

Naylor, Matthew, Runciman, Colin

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 459 KB

english, 2010

39

Myocardial and Cerebral Drug Concentrations and the Mechanisms of Death after Fatal Intravenous Doses of Lidocaine, Bupivacaine, and Ropivacaine in the Sheep

Nancarrow, Craig, Rutten, Albert J., Runciman, William B., Mather, Laurence E., Carapetis, Ronda J., McLean, Colin F., Hipkins, Scott F.

Journal:

Anesthesia & Analgesia

Year:

1989

Language:

english

File:

PDF, 665 KB

english, 1989

40

Not all patterns, but enough

Mitchell, Neil, Runciman, Colin

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 264 KB

english, 2009

41

[ACM Press the 9th International Symposium - Nara, Japan (2016.09.22-2016.09.23)] Proceedings of the 9th International Symposium on Haskell - Haskell 2016 - FitSpec: refining property sets for functional testing

Braquehais, Rudy, Runciman, Colin

Year:

2016

Language:

english

File:

PDF, 223 KB

english, 2016

42

[ACM Press the 29th Symposium - Bristol, United Kingdom (2017.08.30-2017.09.01)] Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages - IFL 2017 - Extrapolate

Braquehais, Rudy, Runciman, Colin

Year:

2017

File:

PDF, 509 KB

2017

43

[ACM Press the 28th Symposium - Leuven, Belgium (2016.08.31-2016.09.02)] Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages - IFL 2016 - A Lightweight Hat

Chitil, Olaf, Faddegon, Maarten, Runciman, Colin

Year:

2016

Language:

english

File:

PDF, 586 KB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски